On the Influence of Confluence in Modal Logics

Clausal Resolution for Modal Logics of Confluence

We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such logics. We show how the inference rules related to the normal logics of confluence can be systematically obtained from the parametrised axioms...

Clausal Resolution for Modal Logics of Confluence – Extended Version∗

We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such logics. We show how the inference rules related to the normal logics of confluence can be systematically obtained from the parametrised axioms...

Fuzzy Modal Logics of Confluence

In this paper we explore fuzzy semantics for a wide class of normal modal systems enriched with multiple instances of the axiom of confluence and prove a general completeness result for such systems.

Confluent Term Rewriting for Only-knowing Logics

Combining term rewriting and modal logics, this paper addresses confluence and termination of rewrite systems introduced for only-knowing logics. The rewrite systems contain a rule scheme that gives rise to an infinite number of critical pairs, hence we cannot check the joinability of every critical pair directly, in order to establish local confluence. We investigate conditions that are suffic...

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density